School of Informatics, the University of Edinburgh - Formal models of digital systems, system-design tools, proof assistants, categorical semantics, propositional planning.
University of Edinburgh, summaries of: Computer Security in the Real World (Milner lecture); Computer Systems Research: Past and Future; How to Build a Highly Available System without a Toolkit.
Research and Teaching in Computer Science, Software Engineering, Cognitive Science and Artificial Intelligence at Edinburgh. Information on teaching, research, publications and links to research group sites.